大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Formal Methods and Testing [electronic resource] : An Outcome of the FORTEST Network, Revised Selected Papers

0
索取号：
作者：Hierons、 Robert M.、Bowen、 Jonathan P.、Harman、 Mark.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Relations and Kleene Algebra in Computer Science [electronic resource] : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw枚rth, Germany, April 7-11, 2008. Proceedings

0
索取号：
作者：Berghammer、 Rudolf.、M枚ller、 Bernhard.、Struth、 Georg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Field Methods for Petroleum Geologists [electronic resource] : A Guide to Computerized Lithostratigraphic Correlation Charts Case Study: Northern Africa

0
索取号：
作者：Assaad、 Fakhry A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Software Composition [electronic resource] : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings

0
索取号：
作者：Pautasso、 Cesare.、Tanter、 脡ric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

LATIN 2008: Theoretical Informatics [electronic resource] : 8th Latin American Symposium, B煤zios, Brazil, April 7-11, 2008. Proceedings

0
索取号：
作者：Laber、 Eduardo Sany.、Bornstein、 Claudson.、Nogueira、 Loana Tito.、Faria、 Luerbio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Logic-Based Program Synthesis and Transformation [electronic resource] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

0
索取号：
作者：King、 Andy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Programming Languages and Systems [electronic resource] : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

0
索取号：
作者：Drossopoulou、 Sophia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Algorithms for Fuzzy Clustering [electronic resource] : Methods in c-Means Clustering with Applications

0
索取号：
作者：Miyamoto、 Sadaaki.、Ichihashi、 Hidetomo.、Honda、 Katsuhiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Modelling and Control of Dynamical Systems: Numerical Implementation in a Behavioral Framework [electronic resource]

0
索取号：
作者：Yoe、 Ricardo Zavala.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Micromechanics and Nanosimulation of Metals and Composites [electronic resource] : Advanced Methods and Theoretical Concepts

0
索取号：
作者：Schmauder、 Siegfried.、Mishnaevsky、 Leon.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Trustworthy Global Computing [electronic resource] : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

0
索取号：
作者：Barthe、 Gilles.、Fournet、 C茅dric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : Second KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008. Proceedings

0
索取号：
作者：Nguyen、 Ngoc Thanh.、Jo、 Geun Sik.、Howlett、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Linear Systems Control [electronic resource] : Deterministic and Stochastic Methods

0
索取号：
作者：Hendricks、 Elbert.、Jannerup、 Ole.、S酶rensen、 Paul Haase.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Methods and Tools for Effective Knowledge Life-Cycle-Management [electronic resource]

0
索取号：
作者：Bernard、 Alain.、Tichkiewitch、 Serge.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

European Robotics Symposium 2008 [electronic resource]

0
索取号：
作者：Bruyninckx、 Herman.、P艡eu膷il、 Libor.、Kulich、 Miroslav.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

New Developments in Formal Languages and Applications [electronic resource]

0
索取号：
作者：Bel-Enguix、 Gemma.、Jim茅nez-L贸pez、 M. Dolores.、Mart铆n-Vide、 Carlos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.